Proof, beliefs, and algorithms through the lens of sum-of-squares 1 Tensor decomposition via sum of squares One of the most basic tools in data analysis is least squares regression.

Source URL: sumofsquares.org

Analyzing Memory Accesses in x86 Executables ? Gogul Balakrishnan and Thomas Reps Comp. Sci. Dept., University of Wisconsin; {bgogul,reps}@cs.wisc.edu Abstract. This paper concerns static-analysis algorithms for analyzin

Source URL: research.cs.wisc.edu

College of Computer & Information Science Northeastern University CS 7880: Network Algorithms and Analysis SpringApril 2012

Source URL: www.ccs.neu.edu

||||||||||||| Pajek—Program for Analysis and Visualization of Large Networks These algorithms were modified and extended to enable additional options: drawing with constraints (optimizing the selected part of the netw

Source URL: mrvar.fdv.uni-lj.si

References User’s Guide User interface and operations of WinPOS Analysis of dynamic processes and vibrations Processing algorithms: customization, mathematical description and guidelines

Source URL: www.nppmera.ru

Finite-Sample Analysis of Proximal Gradient TD Algorithms Bo Liu UMass Amherst

Source URL: marek.petrik.us

Finite-Sample Analysis of Proximal Gradient TD Algorithms Bo Liu UMass Amherst

Source URL: people.cs.umass.edu

Static Analysis of Numerical Algorithms Eric Goubault and Sylvie Putot CEA Saclay, F91191 Gif-sur-Yvette Cedex, France {eric.goubault, sylvie.putot}@cea.fr Abstract. We present a new numerical abstract domain for static

Source URL: www.lix.polytechnique.fr

Smoothed Analysis of Partitioning Algorithms for Euclidean Functionals∗ Markus Bl¨aser1 Bodo Manthey2

Source URL: www-cc.cs.uni-saarland.de

• Mathematical analysis
• Mathematics
• Analysis
• Generalized functions
• Smooth functions
• Operations research
• Travelling salesman problem
• Distribution
• Limit of a function
• Approximation algorithm
• Convex function
• Euclidean algorithm

Theory of Evolutionary Algorithms for Combinatorial Optimisation Pietro S. Oliveto University of Sheffield Midlands Graduate School

Source URL: staffwww.dcs.shef.ac.uk

• Computational complexity theory
• Analysis of algorithms
• Cybernetics
• Evolution
• Evolutionary algorithm
• Time complexity
• Theoretical computer science
• Computer science
• Applied mathematics